Deriving a possible formula